1

Proofs of a set of hybrid let-polymorphic type inference algorithms

Year:
2004
Language:
english
File:
PDF, 1.63 MB
english, 2004
2

Static extensivity analysis for λ-definable functions over lattices

Year:
2006
Language:
english
File:
PDF, 1.19 MB
english, 2006